A case study in UML model-based validation: the Ariane-5 launcher software
نویسندگان
چکیده
This paper presents ...
منابع مشابه
A case study in UML model-based dynamic validation: the Ariane-5 launcher software
The aim of this paper is to show the usefulness of IFx, an extension of the IF validation toolset for timed and complex systems, for the validation of designs represented using the UML profile defined in the IST Omega project. This demonstration is done on hand of a realistic case study, a model of the Ariane-5 launcher software. In this case study, we do not address the correctness of the cont...
متن کاملModeling and Validation of a Software Architecture for the Ariane-5 Launcher
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative space vehicle control system: a model of the Ariane-5 flight software obtained by manual reverse engineering. The goal of the study is to verify functional and scheduling-related requirements under different task archit...
متن کاملModel Checking Ariane-5 Flight Program
This paper reports a veriication experiment carried out on a re-engineered description of a part of Ariane-5 Flight Program. This is the embedded software which solely controls the Ariane-5 launcher during its ight, from the ground, through the atmosphere and up to the nal orbit. In this case study, the Sdl language was used to describe the main functional behavior of the ight program including...
متن کاملQuantitative evaluation of software security: an approach based on UML/SecAM and evidence theory
Quantitative and model-based prediction of security in the architecture design stage facilitates early detection of design faults hence reducing modification costs in subsequent stages of software life cycle. However, an important question arises with respect to the accuracy of input parameters. In practice, security parameters can rarely be estimated accurately due to the lack of sufficient kn...
متن کاملThe Hazard of an Explosion of the Ariane 5 Launcher- the Risks for the Astronauts Sitting on the Ejector Seats
Europeans will soon send inhabited missions into space with the Ariane 5 launcher and spaceshuttle Hermes combination. In case of an incident at launch, either on the pad or up to some speed after launch, it is proposed toeject the flightcrew tosafety on individualejectorseats. The risks which would be confronted by the astronauts
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005